<html>
<head><meta charset="utf-8"><title>petgraph · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/petgraph.html">petgraph</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="126114217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/petgraph/near/126114217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/petgraph.html#126114217">(May 04 2018 at 21:12)</a>:</h4>
<p>So looking at <a href="https://docs.rs/petgraph/0.4.12/petgraph/" target="_blank" title="https://docs.rs/petgraph/0.4.12/petgraph/">the petgraph crate</a> I think it might be possible to iteratively update the subset graph as we traverse through the CFG, using the timely infrastructure. Even if it's not more efficient, that might be useful for debugging. I'll try to bang out an implementation in the next couple hours, so if there's any sort of analysis/factoids you think that would enable that would be cool ping me in this thread =)</p>



<a name="126114226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/petgraph/near/126114226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/petgraph.html#126114226">(May 04 2018 at 21:12)</a>:</h4>
<p>Also, I want to play with the shiny thread toy</p>



<a name="126115696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/petgraph/near/126115696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Chris Vittal <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/petgraph.html#126115696">(May 04 2018 at 21:53)</a>:</h4>
<p>The idea of the <code>relation</code> branch that <span class="user-mention" data-user-id="116009">@nikomatsakis</span>  and I were working on was to create a petgraph like structure that supports the features that we need. The repo is <a href="https://github.com/chrisvittal/borrow-check/tree/relation" target="_blank" title="https://github.com/chrisvittal/borrow-check/tree/relation">here</a>. It's very much a WIP.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>